#include "CH58x_common.h"
#include "DevicesWatchDog.h"


void vWatchdogInit(void)
{
    /* time * (32k / 256) */
    IWDG_Enable(IWDG_PR_256, 5 * (32000 / 256));
}

void vWatchdogReload(void)
{
    /* reload the counter of FWDGT */
    IWDG_Feed();
}
